Example d'utilisation: https://theses.hal.science/file/index/docid/746086/filename/These_Philippe_Wang.pdf

Notre langage applicatif inclut des traits impératifs (structures de données mutables, gestion des
exceptions), le filtrage par motifs [1] [49] et les types définis par l’utilisateur (type somme et type pro-
duit). mCaml est effectivement plus riche (en constructions) et plus expressif qu’un mini-ML « clas-
sique » (e.g., celui de Clément et al. [15])